[next] [tail] [up]

2.2.1 Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 116 134 100 116 123 184 293 259

N.S.

1 0.77 0.89 0.66 0.77 0.81 1.22 1.94 1.72

time (sec)

N/A 0.269 0.570 1.458 0.210 0.291 1.592 6.418 17.949

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 92 106 82 94 101 148 247 204

N.S.

1 0.78 0.90 0.69 0.80 0.86 1.25 2.09 1.73

time (sec)

N/A 0.260 0.507 1.030 0.220 0.297 0.844 3.630 17.600

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 66 82 60 72 79 112 201 151

N.S.

1 0.76 0.94 0.69 0.83 0.91 1.29 2.31 1.74

time (sec)

N/A 0.243 0.392 0.862 0.197 0.279 0.414 1.604 18.381

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 46 55 44 50 57 76 155 96

N.S.

1 0.81 0.96 0.77 0.88 1.00 1.33 2.72 1.68

time (sec)

N/A 0.238 0.141 0.898 0.202 0.281 0.204 0.637 15.219

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 22 25 20 26 34 37 106 40

N.S.

1 0.88 1.00 0.80 1.04 1.36 1.48 4.24 1.60

time (sec)

N/A 0.211 0.014 0.292 0.199 0.298 0.098 0.324 14.700

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 38 33 14 16 0 58 34

N.S.

1 1.00 2.38 2.06 0.88 1.00 0.00 3.62 2.12

time (sec)

N/A 0.202 0.018 0.444 0.201 0.278 0.000 0.279 14.579

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 51 114 75 42 69 0 103 46

N.S.

1 0.89 2.00 1.32 0.74 1.21 0.00 1.81 0.81

time (sec)

N/A 0.242 0.521 0.498 0.235 0.279 0.000 0.314 13.950

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 81 175 111 86 150 0 149 88

N.S.

1 0.85 1.84 1.17 0.91 1.58 0.00 1.57 0.93

time (sec)

N/A 0.262 0.162 0.697 0.202 0.272 0.000 0.361 13.980

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 111 165 151 126 241 0 197 118

N.S.

1 0.83 1.24 1.14 0.95 1.81 0.00 1.48 0.89

time (sec)

N/A 0.283 0.441 0.831 0.206 0.285 0.000 0.386 14.184

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 148 241 180 164 156 0 174 242

N.S.

1 1.15 1.87 1.40 1.27 1.21 0.00 1.35 1.88

time (sec)

N/A 0.632 0.052 1.674 0.297 0.319 0.000 4.832 15.177

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 115 179 143 134 134 0 146 188

N.S.

1 1.13 1.75 1.40 1.31 1.31 0.00 1.43 1.84

time (sec)

N/A 0.480 0.052 1.460 0.291 0.296 0.000 2.217 14.919

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 82 117 104 102 112 0 118 134

N.S.

1 1.12 1.60 1.42 1.40 1.53 0.00 1.62 1.84

time (sec)

N/A 0.348 0.035 1.537 0.311 0.284 0.000 0.940 14.871

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 48 60 67 65 87 0 88 80

N.S.

1 1.07 1.33 1.49 1.44 1.93 0.00 1.96 1.78

time (sec)

N/A 0.231 0.023 0.698 0.290 0.285 0.000 0.504 14.215

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 43 26 31 33 0 26 19

N.S.

1 1.00 1.65 1.00 1.19 1.27 0.00 1.00 0.73

time (sec)

N/A 0.206 0.017 0.443 0.282 0.253 0.000 0.299 14.177

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 58 62 62 59 72 0 56 53

N.S.

1 1.05 1.13 1.13 1.07 1.31 0.00 1.02 0.96

time (sec)

N/A 0.310 0.029 0.912 0.287 0.293 0.000 0.328 14.331

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 92 79 118 79 139 0 83 156

N.S.

1 1.10 0.94 1.40 0.94 1.65 0.00 0.99 1.86

time (sec)

N/A 0.441 0.035 1.069 0.293 0.261 0.000 0.347 14.441

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 119 92 150 100 210 0 113 204

N.S.

1 1.07 0.83 1.35 0.90 1.89 0.00 1.02 1.84

time (sec)

N/A 0.583 0.040 1.409 0.293 0.276 0.000 0.393 14.787

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 158 111 205 119 279 0 140 252

N.S.

1 1.13 0.79 1.46 0.85 1.99 0.00 1.00 1.80

time (sec)

N/A 0.737 0.049 1.777 0.300 0.293 0.000 0.429 15.269

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 132 193 114 149 156 314 342 308

N.S.

1 0.69 1.01 0.59 0.78 0.81 1.64 1.78 1.60

time (sec)

N/A 0.283 1.193 2.273 0.211 0.291 2.473 6.023 18.108

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 94 159 84 110 117 252 292 249

N.S.

1 0.71 1.20 0.64 0.83 0.89 1.91 2.21 1.89

time (sec)

N/A 0.275 0.743 1.724 0.209 0.299 1.187 3.875 18.220

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 84 125 74 97 104 189 242 192

N.S.

1 0.70 1.04 0.62 0.81 0.87 1.58 2.02 1.60

time (sec)

N/A 0.262 0.326 1.364 0.211 0.277 0.595 1.775 17.792

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 50 83 46 58 65 126 192 133

N.S.

1 0.77 1.28 0.71 0.89 1.00 1.94 2.95 2.05

time (sec)

N/A 0.250 0.137 1.078 0.200 0.281 0.297 0.772 16.683

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 36 51 34 43 52 60 142 76

N.S.

1 0.75 1.06 0.71 0.90 1.08 1.25 2.96 1.58

time (sec)

N/A 0.235 0.082 0.440 0.216 0.279 0.137 0.403 14.193

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 29 29 49 31 35 0 64 36

N.S.

1 0.83 0.83 1.40 0.89 1.00 0.00 1.83 1.03

time (sec)

N/A 0.234 0.032 0.497 0.225 0.295 0.000 0.299 14.059

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 32 56 69 34 48 0 111 50

N.S.

1 0.80 1.40 1.72 0.85 1.20 0.00 2.78 1.25

time (sec)

N/A 0.244 0.060 0.750 0.226 0.271 0.000 0.345 13.861

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 69 86 114 72 122 0 138 62

N.S.

1 0.81 1.01 1.34 0.85 1.44 0.00 1.62 0.73

time (sec)

N/A 0.270 0.216 1.019 0.199 0.282 0.000 0.388 14.630

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 99 114 171 109 191 0 186 113

N.S.

1 0.78 0.90 1.35 0.86 1.50 0.00 1.46 0.89

time (sec)

N/A 0.286 0.170 1.595 0.206 0.295 0.000 0.413 13.990

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 129 146 213 165 322 0 238 149

N.S.

1 0.76 0.86 1.26 0.98 1.91 0.00 1.41 0.88

time (sec)

N/A 0.318 0.272 2.887 0.227 0.291 0.000 0.442 14.456

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 218 168 151 165 0 180 234

N.S.

1 1.00 1.35 1.04 0.94 1.02 0.00 1.12 1.45

time (sec)

N/A 0.408 0.702 2.176 0.311 0.296 0.000 2.398 15.388

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 150 130 119 139 0 148 174

N.S.

1 1.00 1.26 1.09 1.00 1.17 0.00 1.24 1.46

time (sec)

N/A 0.356 0.341 1.630 0.313 0.300 0.000 1.090 14.769

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 81 92 83 111 0 99 101

N.S.

1 1.00 1.12 1.28 1.15 1.54 0.00 1.38 1.40

time (sec)

N/A 0.309 0.219 0.797 0.295 0.297 0.000 0.623 13.347

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 46 30 48 42 0 31 24

N.S.

1 1.00 1.31 0.86 1.37 1.20 0.00 0.89 0.69

time (sec)

N/A 0.251 0.035 1.106 0.297 0.279 0.000 0.324 13.106

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 87 53 77 81 0 50 39

N.S.

1 1.00 1.26 0.77 1.12 1.17 0.00 0.72 0.57

time (sec)

N/A 0.313 0.351 1.319 0.298 0.280 0.000 0.352 13.936

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 105 100 97 118 0 80 78

N.S.

1 1.00 0.98 0.93 0.91 1.10 0.00 0.75 0.73

time (sec)

N/A 0.324 0.336 1.625 0.303 0.288 0.000 0.386 13.984

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 121 143 117 173 0 112 182

N.S.

1 1.00 0.87 1.03 0.84 1.24 0.00 0.81 1.31

time (sec)

N/A 0.372 0.581 2.565 0.303 0.292 0.000 0.414 14.325

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 141 188 137 274 0 145 230

N.S.

1 1.00 0.79 1.05 0.77 1.53 0.00 0.81 1.28

time (sec)

N/A 0.408 1.766 4.477 0.295 0.285 0.000 0.484 15.173

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 144 214 124 162 169 439 367 337

N.S.

1 0.69 1.02 0.59 0.77 0.80 2.09 1.75 1.60

time (sec)

N/A 0.288 0.783 3.026 0.217 0.313 3.405 5.959 17.795

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 98 167 86 110 117 350 317 278

N.S.

1 0.72 1.22 0.63 0.80 0.85 2.55 2.31 2.03

time (sec)

N/A 0.272 0.464 2.221 0.211 0.304 1.667 3.829 17.913

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 96 140 84 110 117 255 267 221

N.S.

1 0.70 1.01 0.61 0.80 0.85 1.85 1.93 1.60

time (sec)

N/A 0.275 0.294 1.659 0.211 0.288 0.871 2.031 17.653

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 70 92 66 84 91 165 217 162

N.S.

1 0.71 0.93 0.67 0.85 0.92 1.67 2.19 1.64

time (sec)

N/A 0.265 0.235 1.475 0.211 0.302 0.442 0.929 18.074

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 48 64 44 58 65 76 167 105

N.S.

1 0.73 0.97 0.67 0.88 0.98 1.15 2.53 1.59

time (sec)

N/A 0.235 0.115 0.694 0.215 0.274 0.193 0.434 14.589

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 39 36 79 43 61 0 145 86

N.S.

1 0.81 0.75 1.65 0.90 1.27 0.00 3.02 1.79

time (sec)

N/A 0.246 0.064 0.681 0.202 0.289 0.000 0.353 13.956

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 34 46 69 34 50 0 109 48

N.S.

1 0.85 1.15 1.72 0.85 1.25 0.00 2.72 1.20

time (sec)

N/A 0.252 0.103 1.410 0.210 0.289 0.000 0.350 14.326

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 52 72 94 59 82 0 138 78

N.S.

1 0.85 1.18 1.54 0.97 1.34 0.00 2.26 1.28

time (sec)

N/A 0.257 0.132 1.575 0.212 0.283 0.000 0.406 14.257

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 85 102 136 96 178 0 165 94

N.S.

1 0.79 0.95 1.27 0.90 1.66 0.00 1.54 0.88

time (sec)

N/A 0.273 0.503 2.846 0.219 0.303 0.000 0.427 14.407

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 115 130 193 142 272 0 213 130

N.S.

1 0.77 0.87 1.30 0.95 1.83 0.00 1.43 0.87

time (sec)

N/A 0.301 0.271 5.226 0.205 0.289 0.000 0.484 14.025

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 292 228 262 178 0 196 263

N.S.

1 1.00 1.23 0.96 1.11 0.75 0.00 0.83 1.11

time (sec)

N/A 0.536 1.189 2.927 0.298 0.317 0.000 2.690 15.036

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 169 200 194 210 152 0 164 203

N.S.

1 1.00 1.18 1.15 1.24 0.90 0.00 0.97 1.20

time (sec)

N/A 0.445 0.457 2.261 0.306 0.285 0.000 1.278 14.832

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 107 139 147 113 0 132 146

N.S.

1 1.00 1.09 1.42 1.50 1.15 0.00 1.35 1.49

time (sec)

N/A 0.353 0.374 1.000 0.291 0.302 0.000 0.738 14.309

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 109 71 85 84 0 66 35

N.S.

1 1.00 2.22 1.45 1.73 1.71 0.00 1.35 0.71

time (sec)

N/A 0.284 0.626 1.302 0.309 0.289 0.000 0.368 13.978

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 85 53 90 82 0 50 39

N.S.

1 1.00 1.23 0.77 1.30 1.19 0.00 0.72 0.57

time (sec)

N/A 0.329 0.260 1.729 0.301 0.279 0.000 0.350 13.568

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 105 76 122 118 0 66 62

N.S.

1 1.00 0.98 0.71 1.14 1.10 0.00 0.62 0.58

time (sec)

N/A 0.367 0.473 2.892 0.300 0.271 0.000 0.397 14.239

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 123 121 152 160 0 96 91

N.S.

1 1.00 0.87 0.86 1.08 1.13 0.00 0.68 0.65

time (sec)

N/A 0.413 0.758 4.797 0.290 0.269 0.000 0.439 14.505

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 141 166 182 235 0 128 206

N.S.

1 1.00 0.79 0.93 1.02 1.31 0.00 0.72 1.15

time (sec)

N/A 0.445 1.793 7.813 0.294 0.282 0.000 0.500 15.082

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 213 159 209 212 314 0 161 254

N.S.

1 1.00 0.75 0.98 1.00 1.47 0.00 0.76 1.19

time (sec)

N/A 0.509 3.675 12.938 0.315 0.308 0.000 0.571 15.849

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 92 137 86 90 95 0 245 208

N.S.

1 0.68 1.01 0.64 0.67 0.70 0.00 1.81 1.54

time (sec)

N/A 0.268 0.414 1.239 0.237 0.293 0.000 5.983 18.113

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 72 103 62 70 75 0 201 153

N.S.

1 0.74 1.06 0.64 0.72 0.77 0.00 2.07 1.58

time (sec)

N/A 0.265 0.194 1.113 0.213 0.307 0.000 3.487 18.022

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 46 65 48 50 55 0 157 99

N.S.

1 0.70 0.98 0.73 0.76 0.83 0.00 2.38 1.50

time (sec)

N/A 0.250 0.159 1.018 0.220 0.280 0.000 1.488 14.395

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 26 21 24 28 33 0 111 44

N.S.

1 0.93 0.75 0.86 1.00 1.18 0.00 3.96 1.57

time (sec)

N/A 0.239 0.054 0.617 0.230 0.274 0.000 0.598 13.941

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 19 27 17 19 41 31 21

N.S.

1 1.00 1.12 1.59 1.00 1.12 2.41 1.82 1.24

time (sec)

N/A 0.201 0.015 0.241 0.213 0.289 2.017 0.322 14.494

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 51 67 43 47 60 0 86 49

N.S.

1 0.84 1.10 0.70 0.77 0.98 0.00 1.41 0.80

time (sec)

N/A 0.255 0.088 0.522 0.208 0.279 0.000 0.292 14.418

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 81 97 67 91 139 0 157 76

N.S.

1 0.79 0.94 0.65 0.88 1.35 0.00 1.52 0.74

time (sec)

N/A 0.279 0.421 0.687 0.221 0.282 0.000 0.338 15.834

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 111 135 91 130 217 0 211 132

N.S.

1 0.77 0.93 0.63 0.90 1.50 0.00 1.46 0.91

time (sec)

N/A 0.293 0.382 0.649 0.222 0.283 0.000 0.356 14.283

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 120 301 194 329 127 0 149 193

N.S.

1 1.14 2.87 1.85 3.13 1.21 0.00 1.42 1.84

time (sec)

N/A 0.592 2.327 1.193 0.311 0.289 0.000 4.799 15.578

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 87 893 151 247 107 0 123 139

N.S.

1 1.12 11.45 1.94 3.17 1.37 0.00 1.58 1.78

time (sec)

N/A 0.434 7.103 0.954 0.314 0.277 0.000 2.134 15.212

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 53 241 104 163 86 0 96 83

N.S.

1 1.08 4.92 2.12 3.33 1.76 0.00 1.96 1.69

time (sec)

N/A 0.328 1.200 0.662 0.304 0.274 0.000 0.886 14.402

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 60 49 78 35 0 50 25

N.S.

1 1.00 2.86 2.33 3.71 1.67 0.00 2.38 1.19

time (sec)

N/A 0.232 0.372 0.530 0.312 0.271 0.000 0.455 13.829

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 64 100 59 93 64 0 66 65

N.S.

1 1.05 1.64 0.97 1.52 1.05 0.00 1.08 1.07

time (sec)

N/A 0.397 1.021 0.616 0.317 0.286 0.000 0.326 14.217

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 98 254 85 137 134 0 98 158

N.S.

1 1.11 2.89 0.97 1.56 1.52 0.00 1.11 1.80

time (sec)

N/A 0.528 1.074 0.665 0.315 0.282 0.000 0.351 14.415

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 125 359 111 177 198 0 127 206

N.S.

1 1.07 3.07 0.95 1.51 1.69 0.00 1.09 1.76

time (sec)

N/A 0.652 1.632 0.733 0.302 0.279 0.000 0.393 14.903

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 84 125 78 80 85 0 223 193

N.S.

1 0.70 1.04 0.65 0.67 0.71 0.00 1.86 1.61

time (sec)

N/A 0.268 0.378 1.679 0.206 0.297 0.000 5.808 17.773

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 50 83 46 50 55 0 180 135

N.S.

1 0.77 1.28 0.71 0.77 0.85 0.00 2.77 2.08

time (sec)

N/A 0.253 0.170 1.334 0.221 0.287 0.000 3.471 15.771

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 36 51 38 40 45 0 136 77

N.S.

1 0.75 1.06 0.79 0.83 0.94 0.00 2.83 1.60

time (sec)

N/A 0.241 0.090 0.847 0.216 0.287 0.000 1.580 14.186

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 27 30 29 31 31 0 33 22

N.S.

1 0.82 0.91 0.88 0.94 0.94 0.00 1.00 0.67

time (sec)

N/A 0.243 0.047 0.692 0.227 0.303 0.000 0.647 14.354

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 28 56 37 35 43 177 57 35

N.S.

1 0.78 1.56 1.03 0.97 1.19 4.92 1.58 0.97

time (sec)

N/A 0.225 0.106 0.244 0.225 0.286 11.780 0.367 14.186

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 65 83 55 74 106 0 117 62

N.S.

1 0.80 1.02 0.68 0.91 1.31 0.00 1.44 0.77

time (sec)

N/A 0.262 0.141 0.590 0.241 0.300 0.000 0.319 14.246

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 95 121 79 110 162 0 186 89

N.S.

1 0.77 0.98 0.64 0.89 1.32 0.00 1.51 0.72

time (sec)

N/A 0.279 0.262 0.704 0.220 0.310 0.000 0.369 14.182

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 125 154 103 167 283 0 236 151

N.S.

1 0.76 0.93 0.62 1.01 1.72 0.00 1.43 0.92

time (sec)

N/A 0.301 0.610 0.717 0.212 0.297 0.000 0.420 14.320

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 123 495 161 301 117 0 136 179

N.S.

1 1.03 4.16 1.35 2.53 0.98 0.00 1.14 1.50

time (sec)

N/A 0.453 5.790 1.423 0.301 0.287 0.000 4.858 15.047

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 76 767 106 196 97 0 99 111

N.S.

1 1.06 10.65 1.47 2.72 1.35 0.00 1.38 1.54

time (sec)

N/A 0.401 7.081 1.057 0.311 0.296 0.000 2.220 14.478

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 38 177 71 123 66 0 79 61

N.S.

1 1.12 5.21 2.09 3.62 1.94 0.00 2.32 1.79

time (sec)

N/A 0.374 1.050 0.717 0.299 0.272 0.000 0.949 14.212

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 39 42 30 49 42 0 29 22

N.S.

1 1.18 1.27 0.91 1.48 1.27 0.00 0.88 0.67

time (sec)

N/A 0.349 0.020 0.623 0.298 0.283 0.000 0.508 13.988

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 111 149 72 113 106 0 84 78

N.S.

1 1.04 1.39 0.67 1.06 0.99 0.00 0.79 0.73

time (sec)

N/A 0.437 1.483 0.658 0.293 0.274 0.000 0.337 14.336

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 143 314 98 157 154 0 114 182

N.S.

1 1.03 2.26 0.71 1.13 1.11 0.00 0.82 1.31

time (sec)

N/A 0.458 1.365 0.619 0.303 0.279 0.000 0.398 14.935

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 183 276 124 197 250 0 144 230

N.S.

1 1.02 1.54 0.69 1.10 1.40 0.00 0.80 1.28

time (sec)

N/A 0.528 6.498 0.670 0.295 0.292 0.000 0.417 15.781

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 98 140 86 90 95 0 246 225

N.S.

1 0.72 1.02 0.63 0.66 0.69 0.00 1.80 1.64

time (sec)

N/A 0.274 0.455 4.210 0.203 0.286 0.000 20.535 18.396

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 70 93 66 70 75 0 202 167

N.S.

1 0.71 0.94 0.67 0.71 0.76 0.00 2.04 1.69

time (sec)

N/A 0.261 0.293 2.391 0.198 0.287 0.000 6.252 18.699

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 50 64 46 50 55 0 158 109

N.S.

1 0.77 0.98 0.71 0.77 0.85 0.00 2.43 1.68

time (sec)

N/A 0.252 0.140 1.622 0.206 0.275 0.000 3.598 15.504

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 37 36 37 45 53 0 112 72

N.S.

1 0.80 0.78 0.80 0.98 1.15 0.00 2.43 1.57

time (sec)

N/A 0.251 0.140 1.035 0.212 0.292 0.000 1.666 14.651

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 32 33 30 36 42 457 56 36

N.S.

1 0.91 0.94 0.86 1.03 1.20 13.06 1.60 1.03

time (sec)

N/A 0.249 0.051 0.807 0.208 0.293 18.795 0.736 14.508

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 44 79 49 60 76 411 87 48

N.S.

1 0.79 1.41 0.88 1.07 1.36 7.34 1.55 0.86

time (sec)

N/A 0.238 0.113 0.322 0.212 0.296 19.012 0.438 14.629

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 79 97 67 98 151 0 143 75

N.S.

1 0.78 0.96 0.66 0.97 1.50 0.00 1.42 0.74

time (sec)

N/A 0.279 0.230 0.578 0.211 0.308 0.000 0.354 14.260

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 109 139 91 146 240 0 212 102

N.S.

1 0.76 0.97 0.64 1.02 1.68 0.00 1.48 0.71

time (sec)

N/A 0.291 0.486 0.749 0.220 0.286 0.000 0.409 14.658

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 139 169 115 188 317 0 261 170

N.S.

1 0.75 0.91 0.62 1.02 1.71 0.00 1.41 0.92

time (sec)

N/A 0.317 0.891 0.743 0.229 0.291 0.000 0.490 14.537

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 242 362 227 429 147 0 175 265

N.S.

1 1.02 1.53 0.96 1.81 0.62 0.00 0.74 1.12

time (sec)

N/A 0.648 3.588 5.024 0.314 0.306 0.000 25.908 15.698

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 174 303 195 343 127 0 149 208

N.S.

1 1.03 1.79 1.15 2.03 0.75 0.00 0.88 1.23

time (sec)

N/A 0.521 3.629 3.214 0.303 0.276 0.000 12.476 15.036

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 103 230 138 257 97 0 123 148

N.S.

1 1.04 2.32 1.39 2.60 0.98 0.00 1.24 1.49

time (sec)

N/A 0.446 2.075 2.007 0.300 0.304 0.000 4.996 14.976

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 74 241 105 171 87 0 97 92

N.S.

1 1.12 3.65 1.59 2.59 1.32 0.00 1.47 1.39

time (sec)

N/A 0.505 1.727 1.282 0.315 0.300 0.000 2.249 14.727

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 55 117 61 98 83 0 63 37

N.S.

1 1.20 2.54 1.33 2.13 1.80 0.00 1.37 0.80

time (sec)

N/A 0.377 0.853 0.768 0.304 0.300 0.000 1.073 14.480

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 74 125 45 72 80 0 50 35

N.S.

1 1.23 2.08 0.75 1.20 1.33 0.00 0.83 0.58

time (sec)

N/A 0.416 0.324 0.680 0.305 0.269 0.000 0.608 13.810

[next] [front] [up]